- implicit sequent
- мат.неявная секвенция
English-Russian scientific dictionary. 2008.
implicit sequent
Смотреть что такое "implicit sequent" в других словарях:
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Symmetric multiprocessing — In computing, symmetric multiprocessing (SMP) involves a multiprocessor computer hardware architecture where two or more identical processors are connected to a single shared main memory and are controlled by a single OS instance. Most common… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Non-Uniform Memory Access — (NUMA) is a computer memory design used in Multiprocessing, where the memory access time depends on the memory location relative to a processor. Under NUMA, a processor can access its own local memory faster than non local memory, that is, memory … Wikipedia
SISAL — Infobox programming language name = SISAL paradigm = functional, dataflow year = 1983 designer = James McGraw developer = James McGraw et al, at University of Manchester, LLNL, Colorado State University, and DEC typing = static, strong… … Wikipedia
Read-copy-update — (RCU) is an operating system kernel technology for improving performance on computers with more than one CPU.More technically it is a synchronization mechanism which can sometimes be used as an alternative to a readers writer lock. It allows… … Wikipedia
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
final — Synonyms and related words: absolute, adducible, admissible, admitting no exception, all out, attestative, attestive, audition, authentic, based on, binding, blue book, boundary, categorical, caudal, certain, circumstantial, clear, closing,… … Moby Thesaurus
